Independence of axiom system of basic algebras
نویسندگان
چکیده
We prove that the axiom system of basic algebras as given in Chajda and Emanovský (Discuss Math Gen Algebra Appl 24:31–42, 2004) is not independent. The axiom (BA3) can be deleted and the remaining axioms are shown to be independent. The case when the axiom of double negation is deleted is also treated.
منابع مشابه
The Axioms Independence of Pseudo-Weak-R0 Algebras and Filters
The most simplified axiom systems of pseudo-weak-R0 algebras and pseudo-R0 algebras are obtained, and the mutually independence of axioms is proved. We introduce the notions of filters and normal filters in pseudo-weak-R0 algebras. The structures and properties of the generated filters and generated normal filters in pseudo-weak-R0 algebras are obtained. These can be seen as noncommutative gene...
متن کامل9 A pr 2 00 6 SET THEORY AND C * - ALGEBRAS
We survey the use of extra-set-theoretic hypotheses, mainly the continuum hypothesis, in the C*-algebra literature. The Calkin algebra emerges as a basic object of interest. Recently Charles Akemann and the author [5] used Jensen's diamond principle to solve an old open problem about the existence of nontrivial C*-algebras with only one irreducible representation. This raises the question: in g...
متن کاملComplete independence of an axiom system for central translations
A recently proposed axiom system for André’s central translation structures is improved upon. First, one of its axioms turns out to be dependent (derivable from the other axioms). Without this axiom, the axiom system is indeed independent. Second, whereas most of the original independence models were infinite, finite independence models are available. Moreover, the independence proof for one of...
متن کاملOn the Natural Order Relation in Peano Algebras with Finitary or Infinitary Operations
Most work on infinitary algebras in the literature makes ample use of the axiom of choice AC (see, e.g., [10],[12],[14]). While the theory of arbitrary infinitary algebras can hardly be developed in a satisfactory manner without AC, in the case of Peano algebras (= word algebras, absolutely free algebras) many or even most of the basic results can be proved in Zermelo-Fraenkel set theory ZF wit...
متن کاملBoolean contact algebras
The origins of Boolean contact algebras go back to the works of Leśniewski [8] on mereology and Leonard and Goodman [7] on the calculus of individuals on the one hand, and, on the other hand, the efforts of e.g. de Laguna [2], Tarski [12] and Whitehead [13] to use regions instead of points as the basic entity of geometry. A central role played the notion of “connection” (or “contact”) of region...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Soft Comput.
دوره 13 شماره
صفحات -
تاریخ انتشار 2009